#! /bin/sh

set -e
mpost chezweb.mp
echo "Renaming ChezWEB MetaPost diagrams."
./chezweave chezweb.w
pdftex chezweb
cd doc && pdftex cwebman && cd ..
